The Semantics of Extended SOFL
نویسندگان
چکیده
Recently SOFL (Structured-Object-based-Formal Language) has been extended to a formal object-oriented language and method while keeping its structured features. This extension allows powerful object-oriented reuse mechanisms, such as class inheritance and object composition, to be utilized in the early design phases. This paper presents the semantics for this extended SOFL and further demonstrates the extendibility and reusability of the objectoriented semantic models of SOFL.
منابع مشابه
An Object Semantic Model of SOFL
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method for software development. SOFL integrates modeling techniques from VDM (for specifying system component state) and data flow diagrams with Petri nets (for specifying system behaviours and interaction). To support the s...
متن کاملA Formal Operational Semantics for SOFL
SOFL Structured Object Based Formal Language is a formal language and method for practical systems development As a language it integrates data ow diagrams VDM SL and Petri nets to provide a graph ical and textural formal notation for speci cation con struction Previous publications introducing SOFL are based on its informal semantics In this paper we pro vide a formal operational semantics whi...
متن کاملDeclarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey
One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...
متن کاملSOFL: A Formal Engineering Methodology for Industrial Applications
Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into established industrial software processes, their application requires significant abstraction and mathematical skills, and existing tools do not satisfactorily support the entire formal software development process. We have proposed a language called SOFL (Structured-Object-based...
متن کاملA Supporting Toolfor Syntactic Analysis ofSOFL
SOFL formal specifications have been proved to be useful and expressive enough in describing functional requirements for software development. Based on SOFL formal specifications, many techniques have been proposed to provide us with effective solutions for software verification and validation. To support these techniques, a tool support for analysis of specifications is necessary. However, suc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002